Set is Subset of Pre-Image of Image Set is Subset of Pre-Image of Image For f:X→Y and A⊆XA⊆f−1(f(A)) and in particularA=f−1(f(A))∀A⊆X⟺f is injective